package SV_SENSITIVE_DATA;
import java.io.IOException;
import java.io.OutputStream;
public class Fixed_01 {
    public class WriteInfo {
        public void write(OutputStream os, int ssn) throws IOException {
            int encryptedSsn = encrypt(ssn);
            os.write(encryptedSsn);
        }
        private int encrypt(int value) {
            int encrypted;
            // ... do encryption
            return encrypted;
        }
    }

    @Bind("SV.SENSITIVE.DATA")
    class Writer {
        @Check("return") private int encrypt(int value);
    }
}
